Nuprl Definition : iff
12,41
postcript
pdf
P
Q
== (
P
Q
) & (
P
Q
)
latex
Definitions
P
Q
,
P
&
Q
,
P
Q
,
P
Q
FDL editor aliases
iff
origin
Q == (P Q) & (P Q) Q == (P Q) & (P Q) Q Q Q